Merge pull request #8224 from dibdot/travelmate
authorDirk Brenken <[email protected]>
Fri, 15 Feb 2019 15:32:53 +0000 (16:32 +0100)
committerGitHub <[email protected]>
Fri, 15 Feb 2019 15:32:53 +0000 (16:32 +0100)
travelmate: update 1.3.5


Trivial merge